-
1 разрешимое отношение
Большой англо-русский и русско-английский словарь > разрешимое отношение
-
2 decidable
разрешимый effectively decidable function ≈ эффективно разрешимая функция effectively decidable predicate ≈ эффективно разрешимый предикат effectively decidable relation ≈ эффективно разрешимое отношение formally decidable formula ≈ формально разрешимая формула numeralwise decidable formula ≈ нумерически разрешимая формула numeralwise decidable function ≈ нумерически разрешимая функция numeralwise decidable predicate ≈ нумерически разрешимый предикат - completely decidable - decidable algebra - decidable arithmetic - decidable formula - decidable language - decidable predicate - decidable proposition - decidable relation - decidable sentence - decidable set - decidable statement - decidable system - decidable theor - effectively decidable - formally decidable - numeralwise decidable - partially decidable разрешимый - * set (математика) разрешимое множествоБольшой англо-русский и русско-английский словарь > decidable
-
3 decidable relation
Большой англо-русский и русско-английский словарь > decidable relation
-
4 decidable relation
Математика: разрешимое отношение -
5 effectively decidable relation
Математика: эффективно разрешимое отношениеУниверсальный англо-русский словарь > effectively decidable relation
-
6 decidable relation
мат. -
7 effectively decidable relation
English-Russian scientific dictionary > effectively decidable relation
См. также в других словарях:
принадлежность — ▲ отношение ↑ компонент, и, совокупность принадлежность отношение части и определенного целого; подчинительная совместность. по принадлежности (отправить #). партитивный (партитивная связь). достояние (стать достоянием чего). матем: инцидентность … Идеографический словарь русского языка
АЛГОРИТМ — [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… … Философская энциклопедия
Семантическая паутина — Не следует путать с Семантическая сеть. Пожалуйста, актуализируйте данные В этой статье данные предоставлены преимущественно за 2005 2008 гг. Семантическая паутина (англ. … Википедия
Semantic Web — Не следует путать с термином «Семантическая сеть». Семантическая паутина (англ. Semantic Web) часть глобальной концепции развития сети Интернет, целью которой является реализация возможности машинной обработки информации, доступной во Всемирной… … Википедия
Веб 3.0 — Не следует путать с термином «Семантическая сеть». Семантическая паутина (англ. Semantic Web) часть глобальной концепции развития сети Интернет, целью которой является реализация возможности машинной обработки информации, доступной во Всемирной… … Википедия
Семантический веб — Не следует путать с термином «Семантическая сеть». Семантическая паутина (англ. Semantic Web) часть глобальной концепции развития сети Интернет, целью которой является реализация возможности машинной обработки информации, доступной во Всемирной… … Википедия
Сьюзен Келвин — Susan Calvin Бриджит Мойнахан в рол … Википедия
ФОРМАЛЬНАЯ ЛОГИКА — наука, занимающаяся анализом структуры высказываний и доказательств, обращающая основное внимание на форму в отвлечении от содержания. Определение «формальная» было введено И. Кантом с намерением подчеркнуть ведущую особенность Ф.л. в подходе к… … Философская энциклопедия
ВЫЧИСЛИМЫЙ ИНВАРИАНТ — бинарного отношения между словами данного вида алгоритм (в к. л. точном смысле; напр. как это сделано в [1] нормальный алгорифм), применимый ко всякому слову рассматриваемого вида и перерабатывающий в одно и то же слово всякие два слова,… … Математическая энциклопедия
Кэмпбелл, Пол-Анри — Пол Анри Кэмпбелл во время чтения одной из своих лекций в Лейпциге, 2012 Пол Анри Кэмпбелл (англ. Paul Henri Campbell; род. 1982, Бостон … Википедия
Инфраструктура — (Infrastructure) Инфраструктура это комплекс взаимосвязанных обслуживающих структур или объектов Транспортная, социальная, дорожная, рыночная, инновационная инфраструктуры, их развитие и элементы Содержание >>>>>>>> … Энциклопедия инвестора
